On the Computational Content of the Axiom of Choice
نویسندگان
چکیده
We present a possible computational content of the negative translation of classical analysis with the Axiom of Choice Our interpretation seems computationally more direct than the one based on G odel s Dialectica interpretation Interestingly this interpretation uses a re nement of the realizibility semantics of the absurdity proposition which is not interpreted as the empty type here We also show how to compute witnesses from proofs in classical analysis and how to interpret the axiom of Dependent Choice and Spector s Double Negation Shift
منابع مشابه
On characterizations of the fully rational fuzzy choice functions
In the present paper, we introduce the fuzzy Nehring axiom, fuzzy Sen axiom and weaker form of the weak fuzzycongruence axiom. We establish interrelations between these axioms and their relation with fuzzy Chernoff axiom. Weexpress full rationality of a fuzzy choice function using these axioms along with the fuzzy Chernoff axiom.
متن کاملOn Tychonoff's type theorem via grills
Let ${X_{alpha}:alphainLambda}$ be a collection of topological spaces, and $mathcal {G}_{alpha}$ be a grill on $X_{alpha}$ for each $alphainLambda$. We consider Tychonoffrq{}s type Theorem for $X=prod_{alphainLambda}X_{alpha}$ via the above grills and a natural grill on $X$ related to these grills, and present a simple proof to this theorem. This immediately yields the classical theorem...
متن کاملA Computational Interpretation of the Axiom of Determinacy in Arithmetic
We investigate the computational content of the axiom of determinacy (AD) in the setting of classical arithmetic in all finite types with the principle of dependent choices (DC). By employing the notion of realizability interpretation for arithmetic given by Berardi, Bezem and Coquand (1998), we interpret the negative translation of AD. Consequently, the combination of the negative translation ...
متن کاملCost Efficiency Evaluation via Data Envelopment Analysis Approach for Undesirable Outputs based on the Weak Disposability Axiom (Case Study: 56 Electricity Producing Thermal Power Plants in Iran)
Cost efficiency evaluation is a very important and applicable issue in Data Envelopment Analysis (DEA). In this paper, the classical cost efficiency model in which all the input prices are known and fixed for each decision making unit is developed via undesirable outputs with the weak disposability axiom. The proposed model is a nonlinear model under the variable returns to scale condition,...
متن کاملInconsistency of the Zermelo-Fraenkel set theory with the axiom of choice and its effects on the computational complexity
This paper exposes a contradiction in the Zermelo-Fraenkel set theory with the axiom of choice (ZFC). While Gödel’s incompleteness theorems state that a consistent system cannot prove its consistency, they do not eliminate proofs using a stronger system or methods that are outside the scope of the system. The paper shows that the cardinalities of infinite sets are uncontrollable and contradicto...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 63 شماره
صفحات -
تاریخ انتشار 1998